@misc{indiciae0b79b27c4184,
  title = {Biform Theories: Project Description},
  author = {Jacques Carette and William M. Farmer and Yasmine Sharoda},
  year = {2018},
  url = {https://arxiv.org/abs/1805.02709},
  note = {Source identifier: 1805.02709}
}