What is an inference rule?
Fagin, Ronald, Halpern, Joseph Y., Vardi, Moshe Y.Volume:
57
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2275447
Date:
September, 1992
File:
PDF, 1.97 MB
english, 1992