Automated Proof Search in Non-Classical Logics (1990)

by LINCOLN A WALLEN