Set theory for verification. II: Induction and recursion Lawrence C. Paulson OriginalPaper Pages: 167 - 215
A note on assumptions about Skolem functions Hans Jürgen OhlbachChristoph Weidenbach OriginalPaper Pages: 267 - 275