Home
DCC eCatalog
Guan-shieng__Huang
Two-literal logic programs and satisfiability representation of stable models: A comparison
