Piotr Chrzastowski-Wachtel, Marek Raczunas. Liveness of Weighted Circuits and the Diophantine Problem of Frobenius. In Zoltán Ésik, editor, Fundamentals of Computation Theory, 9th International Symposium, FCT 93, Szeged, Hungary, August 23-27, 1993, Proceedings. Volume 710 of Lecture Notes in Computer Science, pages 171-180, Springer, 1993.
Abstract is missing.