Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Marian Vittek. ELAN: A logical framework based on computational systems. Electronic Notes in Theoretical Computer Science, 4:35-50, 1996. [doi]
@article{BorovanskyKKMV96,
title = {ELAN: A logical framework based on computational systems},
author = {Peter Borovanský and Claude Kirchner and Hélène Kirchner and Pierre-Etienne Moreau and Marian Vittek},
year = {1996},
url = {http://www.elsevier.com/gej-ng/31/29/23/29/23/show/Products/notes/index.htt#004},
tags = {rule-based},
researchr = {https://researchr.org/publication/BorovanskyKKMV96},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {4},
pages = {35-50},
}