by LPAR '93 (1993 Saint Petersburg, Russia)
"LPAR is an international conference series aimed at bringing together researchers interested in logic programming and automated reasoning. The research in logic programming grew out of the researc…