Negation and modularity
2006 ◽
pp. 241-261
◽