Approaching the Plans are Programs Paradigm Using Transaction Logic. - Marcus Vinicius Santos; Marcio Rillo (ECP, 1997)

Denotational Semantics Using Horn Concurrent Transaction Logic. - Marcus Vinicius Santos (ICLP, 2005)

Executable denotations for concurrent languages using Concurrent Transaction Logic. - Marcus Vinicius Santos (WLP, 2006)