Skip to content

Termination Analysis for Abductive General Logic Programs.

Sofie Verbaeten

VenueBICLP
Year1999
ProceedingsICLP

Browse the full ICLP paper archive.