![](/img/cover-not-exists.png)
Abstract canonical inference
Bonacina, Maria Paola, Dershowitz, NachumVolume:
8
Language:
english
Journal:
ACM Transactions on Computational Logic
DOI:
10.1145/1182613.1182619
Date:
January, 2007
File:
PDF, 211 KB
english, 2007