Skip to content

Termination Analysis of Logic Programs: Extended Abstract.

Alexander Serebrenik

VenueBICLP
Year2003
ProceedingsICLP

Browse the full ICLP paper archive.