Computational Logic – CL 2000, Procs. of First International Conference on Computational Logic (CL 2000)

Authors

J. Lloyd, V. Dahl, U. Furbach, M. Kerber, K. Lau, C. Palamidessi, Luís Moniz Pereira, Y. Sagiv, P. J. Stuckey,