Filipe Santos Olga Pacheco Specifying and Reasoning with Institutional Agents. 162-170 2003 ICAIL db/conf/icail/icail2003.html#SantosP03