Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Lumsdaine, Peter Lefanu
and
Warren, Michael A.
2015.
The Local Universes Model.
ACM Transactions on Computational Logic,
Vol. 16,
Issue. 3,
p.
1.