Christoph Benzmüller, Dov M. Gabbay, Valerio Genovese, Daniele Rispoli. Embedding and automating conditional logics in classical higher-order logic. Annals of Mathematics and Artificial Intelligence, 66(1-4):257-271, 2012. [doi]
No references recorded for this publication.
No citations of this publication recorded.