An Efficient Solver for Parametrized Difference Revision. - Aaron Hunter 001; John Agapeyev (Australasian Conference on Artificial Intelligence, 2019)

GenC: A Fast Tool for Applications Involving Belief Revision. - Aaron Hunter 001; John Agapeyev (IJCAI, 2020)