@article{Gomaa08:1,
  title = {Expressibility in Sigma-11},
  author = {Walid E. Gomaa},
  year = {2008},
  tags = {e-science},
  researchr = {https://researchr.org/publication/Gomaa08%3A1},
  cites = {0},
  citedby = {0},
  journal = {J. UCS},
  volume = {14},
  number = {10},
  pages = {1654-1677},
}