Negation in Transaction Programs

Carlos Viegas Damásio, Vitor Nogueira,

Publisher	Universitat Politècnica de Catalunya
Publisher	Universitat Politècnica de Catalunya

Publication