Computation issues in calculi of partial inductive definitions - Kreuger, Per (Department of Computing Science, 1995)