Lars Hallnäs, Per Kreuger. Partial Inductive Definitions (Tutorial). In Roy Dyckhoff, Lars-Henrik Eriksson, Alberto Momigliano, Mario Ornaghi, editors, ICLP 1994, Workshop W10: Proof-Theoretical Extensions on Logic Programming, Santa Margherita Ligure, Italy, June 1994. 1994.
@inproceedings{HallnasK94, title = {Partial Inductive Definitions (Tutorial)}, author = {Lars Hallnäs and Per Kreuger}, year = {1994}, researchr = {https://researchr.org/publication/HallnasK94}, cites = {0}, citedby = {0}, booktitle = {ICLP 1994, Workshop W10: Proof-Theoretical Extensions on Logic Programming, Santa Margherita Ligure, Italy, June 1994}, editor = {Roy Dyckhoff and Lars-Henrik Eriksson and Alberto Momigliano and Mario Ornaghi}, }