Alexander Leitsch Decision Procedures and Model Building, or How to Improve Logical Information in Automated Deduction. 62-79 https://doi.org/10.1007/3-540-46508-1_4 1998 conf/ftp/1998 FTP (LNCS Selection) db/conf/ftp/ftp-lncs1998.html#Leitsch98