Title: Efficient parallel temporal tableaux
First published: 1995