Piotr Chrzastowski-Wachtel Marek Raczunas Liveness of Weighted Circuits and the Diophantine Problem of Frobenius. 171-180 1993 conf/fct/1993 FCT db/conf/fct/fct93.html#Chrzastowski-WachtelR93