Artemis: A system for analyzing missing answers

Raghu Krishnapuram, Krishna Kummamuru

IFSA 2003

Ziyang Liu, Sivaramakrishnan Natarajan, et al.

VLDB

Lerong Cheng, Jinjun Xiong, et al.

ASP-DAC 2008

Gal Badishi, Idit Keidar, et al.

IEEE TDSC