Skip to content

Update Semantics under the Domain Closure Assumption.

Laurence Cholvy

VenueAICDT
Year1986
ProceedingsICDT

Browse the full ICDT paper archive.