Andreas Bauer 0002 Rajeev Goré Alwen Tiu A First-Order Policy Language for History-Based Transaction Monitoring. 96-111 2009 ICTAC http://dx.doi.org/10.1007/978-3-642-03466-4_6 conf/ictac/2009 db/conf/ictac/ictac2009.html#BauerGT09