Authors: L.C.Paulson

Citation: L.c.paulson, Set Theory for Verification.II:Induction and Recursion, Journal of automated reasoning , 15(2), 1995, pp. 167-215

Authors: F.Kammuller,L.C.Paulson

Citation: F.kammuller,l.c.paulson, A Formal Proof of Sylow's Theorem, Journal of automated reasoning , 23(3/4), 1999, pp. 235-264

Authors: L.C.Paulson,K.Grabczewski

Citation: L.c.paulson,k.grabczewski, Mechanizing Set Theory, Journal of automated reasoning , 17(3), 1996, pp. 291-323