@misc{7ae4a6f78ece4bfbb8fab97aa1976f58,
title = "LPG: a Generic, Logic and Functional Programming Language",
abstract = "LPG is a programming language designed to implement new concepts in the filed of specification languages. In LPG, programs are theories in Horn clause logic with equality.",
author = "Didier Bert and Olivier Declerfayt and Brigitte Demeuse and Pascal Drabik and Rachid Echahed and Pierre-Yves Schobbens and Fran{\c c}ois Wautier",
year = "1988",
doi = "https://doi.org/10.1007/3-540-19027-9_26",
language = "English",
isbn = "3-540-19027-9",
volume = "300",
series = "Lecture Notes in Computer Science",
publisher = "Springer Verlag",
address = "Germany",
type = "Other",
}