Logic programming and automated reasoning. 5th international conference, LPAR ’94, Kiev, Ukraine, July 16–22, 1994. Proceedings. (English) Zbl 0875.00092
Lecture Notes in Computer Science 822. Lecture Notes in Artificial Intelligence. Berlin: Springer. x, 345 p. DM 72.00; öS 561.60; sFr 72.00 /sc (1994).