Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns

@inproceedings{Gabbrielli1992FixpointSF,
  title={Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns},
  author={Maurizio Gabbrielli and Maria Chiara Meo},
  booktitle={ALP},
  year={1992}
}