Logic programming and automated reasoning : proceedings - Pfenning Frank; International Conference on Logic Programming and Automated Reasoning( 5th : 1994 : Ukraine ); International Conference on Logic Programming and Automated Reasoning 5th , Ukraine 1994 (Berlin Springer Verlag, 1994)
Keywords: Automated reasoning; Logic programming