=ADD=

=author=
Bonacina; Maria Paola + Furbach; Ulrich
=title=
FTP97: International Workshop on First Order Theorem Proving. Hagenberg, Austria
=year=
1997
=publisher=
RISC-Linz
=note=
RISC techreport 97-50
=owner=
2
=reftype=
10
=source=
3

=ADD=

=author=
Van Hentenryck; Pascal + Saraswat; Vijay
=title=
Proceedings of the 1996 ACM Workshop on Strategic Directions in Constraint Programming
=year=
1997
=publisher=
Kluwer Academic
=note=
Special issue of Constraints - vol 2, no 1, April 1997
=owner=
2
=reftype=
10
=source=
3

=ADD=

=author=
Drogemuller; Robin
=title=
PAP97. 5th International Conference on the Practical Applications of Prolog.
=year=
1997
=publisher=
PAP
=owner=
2
=reftype=
10
=source=
3

=ADD=

=author=
Wallace; Mark
=title=
PACT97. Proceedings of the Third International Conference on the Practical Application of
Constraint Technology. London.
=year=
1997
=publisher=
PACT
=owner=
2
=reftype=
10
=source=
3

=ADD=

=author=
Caviness; B. F. + Johnson; J. R.
=title=
Quantifier Elimination and Cylindrical Algebraic Decomposition.
Proceedings of the International Symposium dedicated to George Collins.
Oct. 1993, Hagenberg, Austria.
=year=
1998
=publisher=
Sringer
=series=
Texts and Monographs in Symbolic Computation
=owner=
2
=reftype=
10
=source=
3

=ADD=
=author=
Vives; Sergi + Salicru; Miquel + Ocana; Jordi
=title=
Moments of the statistics associated at $(h, \theta)$-entropies
=year=
1998
=institution=
Universitat de Barcelona
=number=
255
=month=
07
=location=
2
=owner=
2
=reftype=
11
=source=
3

=ADD=
=author=
Hamada; Mohamed Esmail Ali
=title=
Lazy conditional narrowing calculi and their implementation
=year=
1998
=publisher=
University of Tsukuba
=note=
PhD Thesis
=owner=
2
=reftype=
1
=source=
3


=ADD=
=author=
Froeberg; Ralf
=title=
An introduction to Groebner Bases
=year=
1997
=publisher=
John Wiley & Sons
=series=
Pure and Applied Mathematics
=owner=
2
=reftype=
1
=source=
3