The 3 Frenchmen Method Proves Undecidability of the Uniform Boundedness for Single Recursive Rule Ternary DATALOG Programs.

Jerzy Marcinkowski

Browse the full STACS paper archive.