by LPAR '92 (1992 Saint Petersburg, Russia)
"This volume contains the proceedings of LPAR '92, the international conference on logic programming and automated reasoning held in St. Petersburg in July 1992. The aim of the conference was to br…