Skip to content

Deciding K using inverse-K.

Andrei Voronkov

VenueA*KR
Year2000
ProceedingsKR

Browse the full KR paper archive.