add aistats14 paper on church inference