Skip to content

Efficient Term Size Computation for Granularity Control.

Manuel V. Hermenegildo, Pedro Lpez-Garca

VenueBICLP
Year1995
ProceedingsICLP

Browse the full ICLP paper archive.