@inproceedings{DAC-1971-HowieT,
	author        = "H. Robert Howie and Richard M. Tavan",
	booktitle     = "{Proceedings of the Eighth Design Automation Workshop}",
	doi           = "10.1145/800158.805089",
	pages         = "314--323",
	publisher     = "{ACM}",
	title         = "{OLLS: The On-Line Logical Simulation System}",
	year          = 1971,
}