Persona

Monografia (1995) Automated practical reasoning : algebraic approaches