Generating small Models of First Order Axioms.

K. M. Hrnig

Browse the full KI paper archive.