Notice
This item was automatically migrated from a legacy system. It's data has not been checked and might not meet the quality criteria of the present system.
Eiter, T. (2004). Abduction and the Dualization Problem. International Symposium on Discrete Algorithms and Optimization, Kyoto University, Kyoto, Japan, Austria. http://hdl.handle.net/20.500.12708/84322