Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Marian Vittek
ELAN: A logical framework based on computational systems
WRLA, 1996.
@article{RWLW-1996-BorovanskyKKMV,
author = "Peter Borovanský and Claude Kirchner and Hélène Kirchner and Pierre-Etienne Moreau and Marian Vittek",
doi = "10.1016/S1571-0661(04)00032-5",
journal = "{Electronic Notes in Theoretical Computer Science}",
pages = "35--50",
title = "{ELAN: A logical framework based on computational systems}",
volume = 4,
year = 1996,
}