Skip to content

Lollipops Taste of Vanilla too.

Iliano Cervesato

VenueBICLP
Year1994
ProceedingsICLP Workshop: Proof-Theoretical Extensions on Logic Programming

Browse the full ICLP paper archive.