APA-čujuhus (7. p.)
Mark Aagaard, J. H. Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings. Springer.
Chicago-čujuhus (17. p.)
Mark Aagaard, John Harrison. Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings. Berlín, Alemania: Springer.
MLA-čujuhus (9. p.)
Mark Aagaard, John Harrison. Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings. Springer.
Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.