Stable Models for Infinitary Formulas with Extensional Atoms | Read Paper on Bytez