Tomi Janhunen Capturing Stationary and Regular Extensions with Reiter's Extensions. 102-117 2000 conf/jelia/2000 JELIA http://dx.doi.org/10.1007/3-540-40006-0_8 db/conf/jelia/jelia2000.html#Janhunen00