Skip to content

Logic Programs with Refutation Rules.

Marion Mircheva

VenueBICLP
Year1994
ProceedingsICLP

Browse the full ICLP paper archive.