Skip to content

A Logic-Based Information System.

Salvador Abreu

VenueCPADL
Year2000
ProceedingsPADL

Browse the full PADL paper archive.