Computational reflection via mechanized logical deduction
From MaRDI portal
Publication:4884066
DOI<279::AID-INT3>3.0.CO;2-L 10.1002/(SICI)1098-111X(199605)11:5<279::AID-INT3>3.0.CO;2-LzbMath0854.68096MaRDI QIDQ4884066
Alessandro Cimatti, Paolo Traverso
Publication date: 13 January 1997
Full work available at URL: https://doi.org/10.1002/(sici)1098-111x(199605)11:5<279::aid-int3>3.0.co;2-l
68T27: Logic in artificial intelligence