Skip to content

Typed Horn Logic.

Axel Poign

VenueBMFCS
Year1990
ProceedingsMFCS

Browse the full MFCS paper archive.