Skip to content

Syntactically Characterizing Local-to-Global Consistency in ORD-Horn.

Michal Wrona

VenueACP
Year2012
ProceedingsCP

Browse the full CP paper archive.