@Article{ Flener&al:00, Author = "P. Flener and K.-K. Lau and M. Ornaghi and J. Richardson", Journal = "Journal of Symbolic Computation", Volume = "30", Number = "1", Pages = "93-127", Month = "July", Year = "2000" }