1. Antoy, S., Hanus, M.: Functional logic programming. Commun. ACM 53, 74–85 (2010)
2. Lecture Notes in Computer Science;C. Barrett,2007
3. Berghofer, S., Nipkow, T.: Random testing in Isabelle/HOL. In: Cuellar, J., Liu, Z. (eds.) SEFM 2004, pp. 230–239. IEEE C.S., Los Alamitos (2004)
4. Lecture Notes in Computer Science;A. Biere,1999
5. Blanchette, J.C.: Relational analysis of (co)inductive predicates (co)inductive datatypes, and (co)recursive functions. Softw. Qual. J. (to appear)