A general approach to the implementation of action theories - Simari, Gerardo I.