Skip to content

Rule-Generating Abduction for Recursive Prolog.

Kouichi Hirata

VenueBALT
Year1994
ProceedingsAII/ALT

Browse the full ALT paper archive.