Home
DCC eCatalog
S.__Bonnier
A simple fixed point characterization of three-valued stable model semantics. Research report
