@misc{indiciaefb0cdc498161,
  title = {An Overview of SAL},
  author = {Bensalem, Saddek and Ganesh, Vijay and Lakhnech, Yassine and Munoz, Cesar and Owre, Sam and Ruess, Harald and Rushby, John and Rusu, Vlad and Saiedi, Hassen and Shankar, N.},
  year = {2000},
  url = {https://ntrs.nasa.gov/citations/20000055733},
  note = {Source identifier: 20000055733}
}