Venue

Logic Programming and Automated Reasoning,4th International Conference, LPAR’93, St. Petersburg, Russia, July 13-20, 1993, Proceedings, pp. 146–157

Publication Year

1993

Identifiers