Acta Informatica
“Backward” coinduction, Nash equilibrium and the rationality of escalation
Instruction sequence processing operators
Least common container of tree pattern queries and its applications