Bibliography

1

M. Alpuente, M. Falaschi, P. Julián, and G. Vidal.
Uniform Lazy Narrowing.
Journal of Logic and Computation,
(To appear. Accepted: August 2002).

2

S. Antoy, M. Hanus, J. Koj, P. Niederau, R. Sadre, and F. Steiner.
Pacs 1.3 : The Portland Aachen Kiel Curry System User Manual.
Technical Report Version of December, 4, University of Kiel, Germany, 2000.
Available from URL: http://www.informatik.uni-kiel.de/ pakcs/.