On Skolemization in constrained logics
Hans-Jürgen Bürckert, Bernhard Hollunder, Armin LauxVolume:
18
Year:
1996
Language:
english
Pages:
37
Journal:
Annals of Mathematics and Artificial Intelligence
DOI:
10.1007/bf02127744
File:
PDF, 2.42 MB
english, 1996