## Taro Suzuki

*Standardization Theorem Revisited*

PPDP, 1996.

@inproceedings{ALP-1996-Suzuki, author = "Taro Suzuki", booktitle = "{Proceedings of the Fifth International Conference on Algebraic and Logic Programming}", doi = "10.1007/3-540-61735-3_8", isbn = "3-540-61735-3", pages = "122--134", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Standardization Theorem Revisited}", volume = 1139, year = 1996, }