Logic programming and automated reasoning : proceedings - Voronkov A; International Conference LPAR'92( 1992 : Russia ); International Conference LPAR'92 , Russia 1992 (Berlin Springer Verlag, 1992)
Keywords: Automated reasoning; Logic programming