Marina Langlois, Dhruv Mubayi, Robert H. Sloan, György Turán. Combinatorial problems for Horn clauses. In International Symposium on Artificial Intelligence and Mathematics (ISAIM 2008), Fort Lauderdale, Florida, USA, January 2-4, 2008. 2008. [doi]
Abstract is missing.