Wiktor Danko The Set of Probabilistic Algorithmic Formulas Valid in a Finite Structure is Decidable with Respect to Its Diagram. 417-431 1993 19 Fundam. Inform. 3/4 db/journals/fuin/fuin19.html#Danko93