Skip to content

Arithmetic Classification of Perfect Models of Stratified Programs.

Krzysztof R. Apt, Howard A. Blair

VenueBICLP
Year1988
ProceedingsICLP/SLP

Browse the full ICLP paper archive.