About Boundedness for some DATALOG and DATALOG_neg Programs. - Irène Guessarian; Marcos Veloso Peixoto (MFCS, 1992)

Concurrent Constraint Automata. - Laurent Fribourg; Marcos Veloso Peixoto (ILPS, 1993)

Automates a contraintes arithmetiques et procedures d'evaluation ascendante de programmes logiques. - Marcos Veloso Peixoto (1994)

Bottom-up Evaluation of Datalog Programs with Arithmetic Constraints. - Laurent Fribourg; Marcos Veloso Peixoto (CADE, 1994)

Bottom-Up Evaluation of Datalog Programs with Incremental Arguments and Linear Arithmetic Constraints. - Laurent Fribourg; Marcos Veloso Peixoto (ILPS Workshop: Constraints and Databases, 1994)

About Boundedness for Some Datalog and Datalogneg Programs. - Irène Guessarian; Marcos Veloso Peixoto (J. Log. Comput., 1994)

Unfolding Parametric Automata. - Marcos Veloso Peixoto; Laurent Fribourg (LATIN, 1998)