publication venue for Confidence Bounded Replica Currency Estimation 2022 Efficient external-memory bisimulation on DAGs 2012 An xml index advisor for DB2 2008 Abstract types defined as classes of variables 1976
