"Another variation on the common subexpression problem."

Maurice Nivat, Andreas Podelski (1993)

Details and statistics

DOI: 10.1016/0012-365X(93)90379-8

access: open

type: Journal Article

metadata version: 2021-02-12