Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Magalhães, José Pedro
2014.
Functional and Logic Programming.
Vol. 8475,
Issue. ,
p.
136.
Sternagel, Christian
and
Thiemann, René
2015.
Interactive Theorem Proving.
Vol. 9236,
Issue. ,
p.
421.
Discussions
No Discussions have been published for this article.