https://www.dagstuhl.de/97363
September 3 – 5 , 1997, Event 97363
CCL'97: Annual Workshop of the ESPRIT Working Group "Construction of Computational Logic II"
Organizer
F. Baader (Aachen), H. Comon (LRI, Paris-Sud), G. Smolka (DFKI-Saarbrücken & Uni-Saarbrücken)