-F. Pfenning (Ed.): Logic Programming and Automated Reasoning. Proceedings 1994, Springer-Verlag 1994 (Subseries LNAI)