Published in ACM transactions on database systems.

Published in ACM transactions on mathematical software.

Published in Applicable algebra in engineering, communication and computing.

Published in Information processing letters.

Published in Information processing letters.

Published in Journal of the ACM

Published in Software engineering notes.

Published in Software engineering notes.

Published in Software engineering notes.

Published in Software engineering notes.