TY - RPRT TI - An axiomatic look at a windmill AU - Victor Pambuccian PY - 2012 UR - https://arxiv.org/abs/1209.5979 ID - 1209.5979 ER -