Higher-Order Multi-Valued Resolution
Kohlhase, Michael, Scheja, OrtwinVolume:
9
Language:
english
Journal:
Journal of Applied Non-Classical Logics
DOI:
10.1080/11663081.1999.10510980
Date:
January, 1999
File:
PDF, 1.22 MB
english, 1999