Login / Signup

Sonic Partial Deduction.

Jonathan C. MartinMichael Leuschel
Published in: Ershov Memorial Conference (1999)
Keyphrases
  • partial deduction
  • logic programs