Christian G. Fermüller, Reinhard Pichler. Model Representation over Finite and Infinite Signatures. In Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa, editors, Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings. Volume 4160 of Lecture Notes in Computer Science, pages 164-176, Springer, 2006. [doi]
@inproceedings{FermullerP06,
title = {Model Representation over Finite and Infinite Signatures},
author = {Christian G. Fermüller and Reinhard Pichler},
year = {2006},
doi = {10.1007/11853886_15},
url = {http://dx.doi.org/10.1007/11853886_15},
researchr = {https://researchr.org/publication/FermullerP06},
cites = {0},
citedby = {0},
pages = {164-176},
booktitle = {Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings},
editor = {Michael Fisher and Wiebe van der Hoek and Boris Konev and Alexei Lisitsa},
volume = {4160},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-39625-X},
}