From V.E.R.A. -- Virtual Entity of Relevant Acronyms (August 2020): ELP Equational Logic Programming [language]
ELP Equational Logic Programming [language]