Local search in model checking by Roscoe, P, Pragyesh

The Global Dynamics of Inequality (GINI) project: analysing archaeological housing data by Bogaard, A, Ortman, S, Birch, J, Cervantes Quequezana, G, Chirikure, S, Crema, ER, Cruz, P, Feinman, G, Fochesato, M, Green, AS, Gronenborn, D, Hamerow, H, Jin, G, Kerig, T, Lawrence, D, McCoy, MD, Munson, J, Roscoe, P, Rosenstock, E, Thompson, A, Petrie, CA, Kohler, TA