Relative Complexities of First-Order Calculi (1992)

by E Eder
Venue:Artificial Intelligence. Vieweg Verlag