@inproceedings{DAC-1974-WeberS,
	acmid         = "811376",
	author        = "Thomas A. Weber and Daniel G. Schweikert",
	booktitle     = "{Proceedings of the 11th Design Automation Workshop}",
	pages         = "62--69",
	publisher     = "{ACM}",
	title         = "{An integer arithmetic path expansion algorithm}",
	year          = 1974,
}