60. Birthday: Alan Robinson, 1991
Jean-Louis Lassez,
Gordon D. Plotkin (Eds.):
Computational Logic - Essays in Honor of Alan Robinson. The MIT Press,
1991,
ISBN 0-262-12156-5
Inference
Equality
Logic Programming
Copyright © Sat May 16 22:59:38 2009
by Michael Ley (ley@uni-trier.de)