of Kaiserslautern (forthcoming (1988)

by FB Informatik Thesis, Univ
Venue:Ro65 Robinson, J.A. A Machine Oriented Logic Based on the Resolution Principle