Expressiveness of conditional equational systems with built-in predicates - Ayala-Rincón, Mauricio (1993)
Kaiserslautern, Univ., Diss., 1993