Sciweavers

CADE
2003
Springer
15 years 3 months ago
Monodic Temporal Resolution
Anatoli Degtyarev, Michael Fisher, Boris Konev