Article,

STORK and PENGUIN: Logic programming systems using general clauses and defaults.

, , and .
IBM J. Res. Dev., 36 (3): 361-374 (1992)

Meta data

Tags

Users

  • @dblp

Comments and Reviews