Max Moser. Compilation of Equational Reasoning into Logic Programs. In WLP. pages 73-77, 1993.
@inproceedings{Moser93,
title = {Compilation of Equational Reasoning into Logic Programs},
author = {Max Moser},
year = {1993},
tags = {logic programming, logic},
researchr = {https://researchr.org/publication/Moser93},
cites = {0},
citedby = {0},
pages = {73-77},
booktitle = {WLP},
}