Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Ravara, António
2018.
A Simple Functional Presentation and an Inductive Correctness Proof of the Horn Algorithm.
Electronic Proceedings in Theoretical Computer Science,
Vol. 278,
Issue. ,
p.
34.